741. Transactions on petri nets and other models of concurrency VII
پدیدآورنده : Kurt Jensen [and others] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Petri nets -- Congresses.,Software.
رده :
QA267
.
K878
2013
742. Trends and Perspectives in Modern Computational Science.
پدیدآورنده : George Maroulis
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Engineering -- Data processing -- Congresses.,Science -- Data processing -- Congresses.
743. Unconventional models of computation, UMC'2K :
پدیدآورنده : I. Antoniou, C.S. Calude and M.J. Dinneen (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Congresses.,Computer science.,Soft computing -- Congresses.
رده :
QA76
.
9
.
S63
I268
2001
744. Understanding and interpreting machine learning in medical image computing applications :
پدیدآورنده : Danail Stoyanov, Zeike Taylor, Seyed Mostafa Kia, Ipek Oguz, Mauricio Reyes et al. (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer-assisted surgery, Congresses.,Diagnostic imaging-- Data processing, Congresses.,Image Interpretation, Computer-Assisted.,Artificial intelligence.,Computer-assisted surgery.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Life sciences: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Medical-- General.
رده :
RC78
.
7
.
D53
I58
2018
745. Unusual applications of number theory: DIMACS workshop, unusual applications of number theory, January 10-14, 2000, DIMACS Center
پدیدآورنده : Melvyn B. Nathanson, editor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Number theory
رده :
QA
241
.
D56
2000
746. Unusual applications of number theory : DIMACS workshop, unusual applications of number theory, January 10-14, 2000, DIMACS Center
پدیدآورنده : Melvyn B. Nathanson, editor
کتابخانه: (طهران)
موضوع : Congresses ، Number theory
رده :
QA
241
.
D558
2000
747. User-centered interaction paradigms for universal access in the information society : 8th ERCIM Workshop on User Interfaces for All, Vienna, Austria, June 28-29, 2004 : revised selected papers
پدیدآورنده : Christian Stary, Constantine Stephanidis )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، User interfaces )Computer systems(,Congresses ، Human-computer interaction
رده :
QA
76
.
L28
Vol
.
3196
748. VR, simulations and serious games for education /
پدیدآورنده : editors: Yiyu Cai, Wouter van Joolingen and Zachary Walker.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer games, Congresses.,Educational games.,Virtual reality in education-- Research, Congresses.,3D graphics & modelling.,Artificial intelligence.,Computer games.,EDUCATION-- Administration-- General.,EDUCATION-- Organizations & Institutions.,Educational equipment & technology, computer-aided learning (Calif.),Educational games.,User interface design & usability.
رده :
LB1044
.
87
749. Variational, geometric, and level set methods in computer vision : third International Workshop, VLSM 2005, Beijing, China, October 16, 2005 : proceedings
پدیدآورنده : Nikos Paragios...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Mathematics -- Congresses ، Computer vision,Methodology -- Congresses ، Computer vision,Congresses ، Image processing -- Digital techniques
رده :
QA
76
.
L28
Vol
.
3752
750. Verification and evaluation of computer and communication systems :
پدیدآورنده : Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
751. Vision algorithms : theory and practice : International Workshop on Vision Algorithms, Corfu, Greece, September 21-22, 1999 : proceedings
پدیدآورنده : Bill Triggs, Andrew Zisserman, Richard Szeliski )eds.(
کتابخانه: (طهران)
موضوع : Mathematics --Congresses ، Computer vision,Mathematics -- Congresses ، Image processing
رده :
QA
76
.
L28
Vol
.
1883
752. VizSEC 200
پدیدآورنده : / John R. Goodall, Gregory Conti, Kwan-Liu Ma, editors
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer security--Congresses
رده :
QA
,
76
.
9
,.
A25
,
V59
,
2007eb
753. Wavelet analysis and its applications
پدیدآورنده : / Yuan Y. Tang
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Wavelets (Mathematics)- Congresses
754. Wavelet analysis and its applications
پدیدآورنده : / Yuan Y. Tang
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Wavelets (Mathematics)--Congresses
رده :
QA
,
403
.
3
,.
W32
,
2001
755. Wavelet analysis and its applications : second international conference, WAA 2001, Hong Kong, China, December 18-20, 2001 : proceedings
پدیدآورنده : Yuan Y. Tang...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Computer programs,Congresses ، Wavelets )Mathematics(
رده :
QA
76
.
L28
Vol
.
2251
756. Web and wireless geographical information systems :
پدیدآورنده : Miguel R. Luaces, Farid Karimipour (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data mining, Congresses.,Geographic information systems, Congresses.,World Wide Web, Congresses.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Handheld Devices.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Data mining.,Data mining.,Geographic information systems.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Network hardware.,Systems analysis & design.,World Wide Web.
رده :
G70
.
212
757. Who will do the science of the future? :
پدیدآورنده : National Academy of Sciences, Committee on Women in Science and Engineering, Office of Scientific and Engineering Personnel, National Research Council.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Women in science, Congresses.,Women scientists-- Vocational guidance, Congresses.,Women scientists, Congresses.,Science.,Women.,SCIENCE-- Essays.,SCIENCE-- Nanoscience.,SCIENCE-- Reference.,Women in science.,Women scientists-- Vocational guidance.,Women scientists.
رده :
Q130
.
W48
2000eb
758. XXVIII International Conference on Phenomena in Ionized Gases: July 15-20, 2007, Prague, Czech Republic: book of abstracts: ICPIG 2007
پدیدآورنده : organized by Institute of Plasma Physics, the Academy of Sciences of the Czech Republic with the participation of the Faculty of Electrical Engineering, Czech Technical University, and the Faculty of Mathematics and Physics of Charles University; ]edited by J. Schmidt ... et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Plasma )Ionized gases(
رده :
QC
717
.
6
.
I55
2007
759. category theory and computer science:6th international conference,CTCS,95,Cambridge ,united kingdom,Augest 7-11,1995
پدیدآورنده : DAvid Pitt,David E.Rydehead,Peter Johnstone,eds
کتابخانه: (کرمان)
موضوع : computer programming--congresses,categories)mathematics(-congreses
رده :
QA
76
.
6
.
B53
1995
760. 31st Iranian Mathematics Conference 27-30 August 2000 , proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Mathematics -- Iran -- Congresses
رده :
QA
1
.
I73
